(x^2 + y^2) <= 1, x + y >= 1